Belief Base Revision for Expressive Description Logics
نویسندگان
چکیده
In this work, we address the problem of revision of OWL-DL knowledge bases. We focus on belief bases revision as it has previously been shown that OWL-DL is not AGM-compliant for revision. Previously an algorithm for belief base semi-revision for propositional logic has been defined; in particular it has been shown how the diagnosis problem can be translated into a revision problem. In this work, we expand upon this work and detail an approach for performing belief base semi-revision in the Description Logic SHOIN , which corresponds to the W3C standard Web Ontology Language OWL-DL. We additionally, discuss various optimizations to make the approach more practical.
منابع مشابه
The Ontology Reviser Plug-In for Protégé
This paper presents an ontology reviser plug-in for Protégé. The plug-in implements several belief base contraction and revision operations for expressive Description Logics. The operations can be selected by choosing the desired properties of the outcome from a menu.
متن کاملBase Revision in Description Logics - Preliminary Results
Belief Revision deals with the problem of adding new information to a knowledge base in a consistent way. The theory has been developed having in mind classical logics. In this paper, we show some problems of applying belief revision methods directly to ontologies represented in description logics and propose new operations that overcome these problems.
متن کاملTrust-based Revision for Expressive Web Syndication
Interest in web-based syndication systems has been growing as information streams onto the web at an increasing rate. Technologies, like the standard Semantic Web languages RDF and OWL, make it possible to create expressive representations of the content of publications and subscriptions in a syndication framework. Because these languages are based in description logics, this representation all...
متن کاملBase Revision for Ontology Debugging
Belief Revision deals with the problem of adding new information to a knowledge base in a consistent way. Ontology Debugging, on the other hand, aims to find the axioms in a terminological knowledge base which caused the base to become inconsistent. In this article, we propose a belief revision approach in order to find and repair inconsistencies in ontologies represented in some description lo...
متن کاملFirst Steps Towards Revising Ontologies
When modeling an ontology, one very often wants to add new information and keep the resulting ontology consistent. Belief Revision deals with the problem of consistently adding new formulas to a knowledge base. In this paper, we present some steps towards applying belief revision methods to ontologies based on description logics. We depart from the well known AGM-paradigm and show how it can be...
متن کامل